Serwe, Wendelin: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

On the semantics of communicating hardware processes and their translation into LOTOS for the verification of asynchronous circuits with CADP

Hubert Garavel, Gwen Salaün, Wendelin Serwe

Journal:

Science of Computer Programming

Year:

2009

Language:

english

File:

PDF, 1.74 MB

english, 2009

2

State space reduction for process algebra specifications

Hubert Garavel, Wendelin Serwe

Journal:

Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 320 KB

english, 2006

3

Defining Actions in Concurrent Declarative Programming

Rachid Echahed, Wendelin Serwe

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 384 KB

english, 2002

4

CADP 2011: a toolbox for the construction and analysis of distributed processes

Garavel, Hubert, Lang, FrÃ©dÃ©ric, Mateescu, Radu, Serwe, Wendelin

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2013

Language:

english

File:

PDF, 1.10 MB

english, 2013

5

Model checking and performance evaluation with CADP illustrated on shared-memory mutual exclusion protocols

Mateescu, Radu, Serwe, Wendelin

Journal:

Science of Computer Programming

Year:

2013

Language:

english

File:

PDF, 2.12 MB

english, 2013

6

Formal analysis of a hardware dynamic task dispatcher with CADP

Lantreibecq, Etienne, Serwe, Wendelin

Journal:

Science of Computer Programming

Year:

2014

Language:

english

File:

PDF, 1.08 MB

english, 2014

7

Large-scale Distributed Verification Using CADP: Beyond Clusters to Grids

Garavel, Hubert, Mateescu, Radu, Serwe, Wendelin

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2013

Language:

english

File:

PDF, 1.32 MB

english, 2013

8

THE BLACKCURRANT

Garavel, Hubert, Mateescu, Radu, Serwe, Wendelin

Journal:

Year:

1941

Language:

english

File:

PDF, 401 KB

english, 1941

9

[IEEE 13th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC'07) - Berkeley, CA, USA (2007.03.12-2007.03.14)] 13th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC'07) - Formal Verification of CHP Specifications with CADP Illustration on an Asynchronous Network-on-Chip

Salaun, Gwen, Serwe, Wendelin, Thonnart, Yvain, Vivet, Pascal

Year:

2007

Language:

english

File:

PDF, 212 KB

english, 2007

10

[IEEE 2009 7th IEEE/ACM International Conference on Formal Methods and Models for Co-Design (MEMOCODE) - Cambridge, MA, USA (2009.07.13-2009.07.15)] 2009 7th IEEE/ACM International Conference on Formal Methods and Models for Co-Design - Verification of an industrial SystemC/TLM model using LOTOS and CADP

Garavel, Hubert, Helmstetter, Claude, Ponsini, Olivier, Serwe, Wendelin

Year:

2009

Language:

english

File:

PDF, 209 KB

english, 2009

11

An improved fault-tolerant routing algorithm for a Network-on-Chip derived with formal analysis

Zhang, Zhen, Serwe, Wendelin, Wu, Jian, Yoneda, Tomohiro, Zheng, Hao, Myers, Chris

Journal:

Science of Computer Programming

Year:

2016

Language:

english

File:

PDF, 1.38 MB

english, 2016

12

[IEEE 2018 24th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC) - Vienna, Austria (2018.5.13-2018.5.16)] 2018 24th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC) - Model-Checking Synthesizable SystemVerilog Descriptions of Asynchronous Circuits

Bouzafour, Aymane, Renaudin, Marc, Garavel, Hubert, Mateescu, Radu, Serwe, Wendelin

Year:

2018

File:

PDF, 9 KB

2018